непротиворечивая теория

См. также в других словарях:

• Теория —  Теория  ♦ Théorie    Современное значение слова «теория» далеко ушло от своего греческого «прародителя» (Theoria). Для нас теория – не столько созерцание, сколько труд, не столько радость познания, сколько мыслительное усилие. Так что же такое… …   Философский словарь Спонвиля

• ПАРА НЕПРОТИВОРЕЧИВАЯ —     ПАРА НЕПРОТИВОРЕЧИВАЯ логика (греч. тора возле, вне) класс логических исчислений, в которых логический принцип “из противоречия следует все, что угодно”, не имеет места. Термин “паранепротиворечивая логика” введен в 1976 перуанским философом… …   Философская энциклопедия

• ПОЛНОТА — в математической логике свойство, близкое к понятию максимального элемента в частично упорядоченном множестве. Термин П. в математич. логике употребляется в контекстах вида: полное исчисление, полная теория (или полное множество аксиом), w полная …   Математическая энциклопедия

• КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… …   Физическая энциклопедия

• квантовая механика — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц в заданных внешних полях; один из основных разделов квантовой теории. Квантовая механика впервые позволила описать структуру атомов и понять их спектры,… …   Энциклопедический словарь

• Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1]  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… …   Википедия

• ФИЗИКА — наука, изучающая простейшие и вместе с тем наиболее общие закономерности явлений природы, св ва и строение материи и законы её движения. Понятия Ф. и её законы лежат в основе всего естествознания. Ф. относится к точным наукам и изучает количеств …   Физическая энциклопедия

• Квантовая механика —         волновая механика, теория устанавливающая способ описания и законы движения микрочастиц (элементарных частиц, атомов, молекул, атомных ядер) и их систем (например, кристаллов) а также связь величин, характеризующих частицы и системы, с… …   Большая советская энциклопедия

• Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… …   Википедия

• полнота логических исчислений —         ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… …   Энциклопедия эпистемологии и философии науки

• ГЁДЕЛЬ — (Godel) Курт (1906 1978) австр. логик и математик. Участвовал в работе Венского кружка. В 1933 1939 приват доцент Венского ун та, в 1940 эмигрировал в США, с 1953 проф. Ин та высших исследований в Принстоне. Г. принадлежат ряд важнейших… …   Философская энциклопедия